From 5cef365e770d3388179be063af381e867fa7343f Mon Sep 17 00:00:00 2001 From: "cl349@firebug.cl.cam.ac.uk" Date: Thu, 23 Feb 2006 16:29:06 +0000 Subject: [PATCH] Output which shadow mode is used, if any. Signed-off-by: Christian Limpach --- xen/common/keyhandler.c | 17 +++++++++++++++++ 1 file changed, 17 insertions(+) diff --git a/xen/common/keyhandler.c b/xen/common/keyhandler.c index b239391462..0e9bd97e22 100644 --- a/xen/common/keyhandler.c +++ b/xen/common/keyhandler.c @@ -13,6 +13,7 @@ #include #include #include +#include #define KEY_MAX 256 #define STR_MAX 64 @@ -131,6 +132,22 @@ static void dump_domains(unsigned char key) d->handle[ 4], d->handle[ 5], d->handle[ 6], d->handle[ 7], d->handle[ 8], d->handle[ 9], d->handle[10], d->handle[11], d->handle[12], d->handle[13], d->handle[14], d->handle[15]); + if ( shadow_mode_enabled(d) ) { + printk(" shadow mode: "); + if ( shadow_mode_refcounts(d) ) + printk("refcounts "); + if ( shadow_mode_write_all(d) ) + printk("write_all "); + if ( shadow_mode_log_dirty(d) ) + printk("log_dirty "); + if ( shadow_mode_translate(d) ) + printk("translate "); + if ( shadow_mode_external(d) ) + printk("external "); + if ( shadow_mode_wr_pt_pte(d) ) + printk("wr_pt_pte "); + printk("\n"); + } rangeset_domain_printk(d); -- 2.30.2